جست‌وجوی استاد و پژوهشگر

Alexey Gotsmanمشاهده پروفایل

استاد پژوهشی

• Software Verification
• Distributed Computing
• Computer Science
• +۳ مورد دیگر

Alexey Gotsman is a tenured Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a PhD from the University of Cambridge (UK) and works part-time as a visiting academic at Amazon Web Services. His research focuses on the intersection of software verification and distributed computing, addressing challenges in fault tolerance, consistency models, and distributed algorithms. Education: PhD in Computer Science, University of Cambridge, UK Research Interests: His work spans software verification (e.g., formal methods for concurrent systems), distributed computing (e.g., consensus protocols, state machine replication), and fault-tolerant systems . Key areas include Byzantine fault tolerance, consistency models for distributed databases, and algorithmic optimization for geo-replicated systems. Grants & Awards: ERC Starting Grant 'RACCOON' (2017–2022) Ramón y Cajal Fellowship (2017–2022) Coordinated the EU FP7-funded ADVENT project (2013–2016) Best Paper Awards at OPODIS'23, DISC'18, and PODC'16 Teaching & Outreach: Organized the Summer School on Practice and Theory of Distributed Computing (2020, 2023) and co-chaired conferences like FORTE 2020. Active on program committees for major venues like DISC, PODC, and EuroSys. Research Group: Current advisees include PhD students Alejandro Naser-Pastoriza and Fedor Ryabinin. Notable alumni include Vitor Enes (PhD 2021) and Artem Khyzha (PhD 2019). The group focuses on theoretical and practical advances in distributed systems, producing tools like the SwiftPaxos consensus protocol and the Atomic Multicast library.

• Biomedical Electronics
• CMOS Sensor Systems
• Integrated Circuits
• +۳ مورد دیگر

Dr. Thomas Burger is a Lecturer at the Department of Information Technology and Electrical Engineering at ETH Zürich. His research focuses on advanced CMOS sensor systems, biomedical electronics, and wearable medical devices. Key areas include the development of high-resolution tactile sensors, energy-efficient wireless systems, and molecular diagnostics platforms. His work integrates cutting-edge semiconductor technologies with applications in healthcare monitoring and environmental sensing. Education: While specific academic qualifications are not detailed, his role as a lecturer at ETH Zürich implies a strong background in electrical engineering and integrated circuits, likely including a PhD in a related field. Research interests prominently feature: CMOS-based sensor arrays for gas detection and molecular analysis Low-power wireless communication systems (e.g., wake-up receivers) Biomedical instrumentation for MRI and wearable health monitoring Material science innovations for antifouling and flexible electronics Publications span 2025 to 1995, emphasizing interdisciplinary advancements in sensor technology and medical electronics. His work bridges microelectronics design with real-world applications in healthcare, environmental monitoring, and robotics.

• Mental Health Treatment
• Non-Invasive Brain Stimulation
• Clinical Trials
• +۶ مورد دیگر

Professor Paul Fitzgerald is the Director of the School of Medicine and Psychology at the Australian National University (ANU), part of the ANU College of Science and Medicine. He is a psychiatrist with degrees in MBBS, Masters of Psychological Medicine, and a PhD from Monash University. His work focuses on novel brain stimulation therapies, such as repetitive transcranial magnetic stimulation (rTMS), and psychedelic-assisted psychotherapy for mental health conditions like depression, schizophrenia, and PTSD. He has conducted over 20 clinical trials and secured over $10M in research funding. Notably, he led efforts to secure Medicare funding ($283M in Year 1) for rTMS in depression treatment. Research Interests: Non-invasive brain stimulation (rTMS, TACS) Psychedelic therapies for mental health Pharmacotherapies for neuropsychiatric disorders Neurological applications of rTMS in Alzheimer’s and autism Key Projects: ALIGNED: Genotype-guided depression therapy AIPPAP-RR: Psychedelic-assisted psychotherapy registry EMPACT: Psilocybin therapy for depression TACS-depression: Closed-loop stimulation protocols Grants and Recognition: Over $10M in NHMRC grants, 550+ journal articles, 30,000+ citations, and leadership in establishing Australia’s first rTMS training program.

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۵ مورد دیگر

Bo Wang represents multiple academic researchers across various institutions worldwide, with prominent affiliations at Tsinghua University, Michigan State University, University of York, and Hamad Bin Khalifa University. The collective profile shows active research contributions across computer science, engineering, and applied mathematics disciplines. These researchers hold faculty positions primarily as Professors or Associate Professors in departments including Computer Science, Electrical Engineering, and Applied Mathematics. Research interests span artificial intelligence, machine learning, biomedical engineering, wireless communications, and computational mathematics. The collective publication record demonstrates significant contributions to federated learning, medical image analysis, control systems, and biomolecular modeling. Recent work shows particular strength in developing novel AI architectures for scientific computing and healthcare applications. Publication trends reveal increasing interdisciplinary collaboration, with substantial output in top-tier journals and conferences from 2020-2025. Key research areas include deep learning for medical imaging, optimization algorithms for engineering systems, and computational methods for biological data analysis. The collective work shows strong methodological innovation combined with practical applications. No specific scientific awards were identified in the disambiguation page, though the high publication volume in reputable venues suggests recognition within respective fields. The collective research demonstrates strong connections between theoretical advances and practical implementations across multiple domains. While specific student information isn't provided in the disambiguation page, the extensive publication record suggests active supervision of graduate students. Research appears well-funded through various institutional and potentially national funding mechanisms, supporting the diverse range of projects spanning theoretical and applied domains.

• Satellite Communications
• Wireless Networks
• Signal Processing
• +۵ مورد دیگر

Jevgenij Krivochiza is an active Researcher in Satellite Communications , Wireless Networks , and Signal Processing , with a focus on precoding techniques , 5G Non-Terrestrial Networks , and FPGA acceleration for multi-antenna systems. He collaborates extensively with institutions like University of Luxembourg (via co-authors Symeon Chatzinotas and Björn Ottersten ) and other researchers in distributed satellite systems. Research Interests : His work revolves around symbol-level precoding to minimize interference and power consumption, phase synchronization in coherent distributed systems, and distributed beamforming for swarm satellite networks. Recent studies include machine learning applications for PBCH symbol detection and FAIR data management for ML models. Article Trends : Publications from 2025 to 2015 span satellite communication protocols , 5G NTN , interference exploitation , and hardware acceleration , with increasing integration of machine learning in 2024–2025. Sub-fields include DVB-S2X waveform analysis , SWIPT , and precoding-enabled multi-beam systems .

• Networked Control Systems
• Real-Time Systems
• TCP Protocol Stability
• +۳ مورد دیگر

Joon-Young Choi is a researcher with a focus on networked control systems, real-time systems, and TCP protocol stability. His work spans industrial automation, embedded systems, and synchronization algorithms. Key contributions include studies on EtherCAT network synchronization, FAST TCP stability analysis, and motor drive control systems. He has published extensively in IEEE journals and conferences such as IEEE Access, IEEE Communications Letters, and International Conference on Control, Automation and Systems (ICCA).

Aristotel Tentovمشاهده پروفایل

استاد

• Computer Architectures
• Processor Architectures and Organization
• Networking (Wired/Wireless/Mobile)
• +۹ مورد دیگر

Dr. Aristotel Tentov is a Full Professor at the Faculty of Electrical Engineering, Computer Science Department of the University 'St. Kiril i Metodij' in Skopje, Macedonia. He holds a Ph.D. in Computer Science (1994), M.S. (1989), and B.S. (1983) from the same university. His career spans over three decades, progressing from Research Assistant (1985) to Assistant Professor (1994), Associate Professor (1999), and Full Professor (2004). His research encompasses Computer Architectures Multiprocessor Systems Networking (Wired/Wireless/ATM) Embedded Systems RFID Process Control Dr. Tentov authored/co-authored over 20 scientific papers and technical reports, with notable work on TCP performance modeling (2000–2001) and double-loop network analysis (1990s). Projects include NATO fighter avionics integration (1991) and EU-funded HeliNet stratospheric network design (2001). He led multiple industrial projects including control systems for zinc smelters, university computer networks, and the Macedonian Rosetta Stone deciphering initiative (2003–2005). His work bridges academic research with practical industrial solutions.

• Networked Embedded Real-Time Systems
• Networking
• Industrial Communication Systems
• +۴ مورد دیگر

Jose Alberto Gouveia Fonseca is an Associate Professor at the Instituto de Telecomunicações (IT) in Aveiro, Portugal, affiliated with the Embedded Systems – Av group. He joined IT in 2010 and specializes in Networked Embedded Real-Time Systems. His work integrates networking, industrial communication, and vehicular systems. Educational Background: PhD in Engineering from Universidade de Aveiro (1992) Research Interests: Fonseca focuses on real-time communication protocols for industrial and vehicular applications, including deterministic wireless systems, smart cities, and safety-critical networks. His research emphasizes fault-tolerant designs, bandwidth management, and real-time performance optimization in distributed systems. Article Trends: His recent work addresses vehicular safety (e.g., roadside infrastructure for cooperative ITS), smart parking systems, and 5G-enabled coastal surveillance. Earlier contributions include foundational studies on FTT-CAN protocols and Ethernet real-time adaptations. Grants & Projects: 5G-MOBIX : 5G for cross-border cooperative mobility (EU/H2020, 2018–2023) EV4Energy : Electric vehicles in energy distribution systems (2020–2023) PASMO : Open platform for intelligent transport systems (2017–2020) Labs/Teams: Active in the Embedded Systems group at IT Aveiro, collaborating on projects like the PASMO living lab for cooperative ITS.

• Real-Time Systems
• Scheduling Algorithms
• Network Protocols
• +۳ مورد دیگر

Radu Dobrin is a Senior Lecturer and Head of Department at the Department of Computer Science and Software Engineering, Mälardalen University. He is associated with the Academy of Innovation, Design and Technology. His research focuses on real-time systems, scheduling algorithms, network protocols, and embedded systems. He also contributes to curricular development in computer science education, as evidenced by his work on curriculum mapping frameworks and ethics integration. Dobrin's recent work includes advancements in TSN (Time-Sensitive Networking), fault-tolerant scheduling, and probabilistic analysis of real-time systems. Despite no explicit mentions of awards or grants, his extensive publication record indicates substantial contributions to both theoretical and applied aspects of computer science. His research trends emphasize improving scheduling efficiency in real-time environments, handling cache-related preemption delays, and enhancing network resilience through adaptive frameworks like MALOC. Collaborations with industry are evident in projects like HUBLINKED and curriculum mapping initiatives. While specific student advisees are not listed, his academic role suggests involvement in mentoring graduate students in computer science and engineering disciplines. Technical responsibilities include managing the department's academic operations and contributing to Mälardalen University's digital infrastructure, as seen through his involvement in accessibility improvements and web-related projects. No specific grants or lab affiliations are detailed in the provided texts, though his research areas imply potential involvement in EU-funded or industry-sponsored projects.

Seyed Majid Zahediمشاهده پروفایل

استادیار

• Computer Architecture
• Computer Systems
• Theoretical Computer Science
• +۴ مورد دیگر

Seyed Majid Zahedi is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His research focuses on the intersection of computer architecture, computer systems, and theoretical computer science, with particular emphasis on game theory applications in distributed systems and resource allocation fairness. Education: PhD in Computer Science, Duke University, USA (2018) MSc in Computer Engineering, University of Tehran, Iran (2012) BSc in Computer Engineering, University of Tehran, Iran (2009) Research Interests: Zahedi explores advanced topics such as multi-agent systems, computational sprinting, and incentive mechanisms for distributed resource management. His work bridges theoretical foundations with practical implementations in data centers and multiprocessor systems. Teaching: Zahedi has taught courses including Real-Time Operating Systems (ECE 350), Systems Programming and Concurrency (ECE 252), and Special Topics in Computer Software (ECE 750). He emphasizes hands-on learning through lab projects and quizzes. Awards: Zahedi has received several accolades, including the Best Paper Award at HPCA 2018 and recognition in IEEE Micro Top Picks for contributions to resource fairness in multiprocessor systems. Advising & Grants: He currently advises over a dozen graduate and undergraduate students, focusing on projects like incentive-compatible blockchain protocols (Algorand) and cooperative load management (Malcolm). His research has been supported by grants for cybersecurity innovations.

• Control Systems
• Networked Control Systems
• Automotive Engineering
• +۵ مورد دیگر

Mehmet Akar is a full-time Professor at the Department of Electrical and Electronics Engineering, Faculty of Engineering, Boğaziçi University. His research focuses on control systems, networked control systems, multi-agent coordination, wireless communication, and optimization algorithms. He has contributed extensively to the fields of distributed consensus protocols, resilient networks, and resource allocation in heterogeneous systems. His work integrates mathematical system theory with practical applications in automotive systems, wireless networks, and industrial process control. Key research themes include cluster consensus in multi-agent networks, Byzantine-resilient algorithms, and adaptive control strategies for complex systems. Recent publications emphasize distributed algorithms for resource allocation in NOMA/MEC systems and fault-tolerant consensus mechanisms. His research also addresses challenges in vehicular platooning, industrial process modeling, and time-delay systems. Award-winning interdisciplinary contributions bridge theoretical advancements and real-world applications, with active engagement in both academic research and industry collaborations.

Tyson Ochsnerمشاهده پروفایل

استاد

• Soil Physics
• Agricultural Water Management
• Environmental Modeling
• +۳ مورد دیگر

Tyson Ochsner is a Regents Professor of Plant and Soil Sciences at Oklahoma State University (OSU). His research focuses on soil physics, soil moisture dynamics, and their applications in agriculture, meteorology, and environmental modeling. He earned his B.S. from OSU in 1998, followed by a M.S. and Ph.D. in Soil Science from Iowa State University (2000, 2003). Prior to his current position, he worked at the USDA Agricultural Research Service in Minnesota (2003–2008). His work emphasizes multi-scale soil moisture monitoring and improving data utilization for sustainable land and water management. Key research interests include soil-plant-atmosphere continuum interactions, drought adaptation, wildfire danger prediction, and sensor network development (e.g., CRONOS, Oklahoma Hydronet). He has pioneered advancements in soil moisture sensor calibration and data integration across scales. His educational contributions include curriculum evaluation and rural scholar programs to bridge academic and agricultural communities. Dr. Ochsner’s recent work highlights innovations in soil moisture mapping, climate change impacts on ecosystems, and agricultural resilience strategies. He has been recognized as a Regents Professor, an honor reflecting his scholarly contributions and institutional impact.

• Distributed Systems
• Formal Verification
• Fault-Tolerant Algorithms
• +۲ مورد دیگر

Dr. Josef Widder is an Affiliated Researcher and Privatdozent at Technische Universität Wien's Embedded Computing Systems department. His research develops formal methods for verifying fault-tolerant distributed systems, with contributions to model checking and concurrent system verification. Core research areas include parameterized verification techniques, Byzantine fault tolerance, and synchronization in distributed algorithms. Recent work focuses on efficient model checking approaches for synchronous systems and counter abstraction methods. Supervision activities include doctoral students working on SMT-driven verification techniques and symbolic verification of distributed algorithms. Recognized through dissertation awards for contributions to distributed computing theory.

• Network Security
• Internet of Things
• Sensor Networks
• +۲ مورد دیگر

Philip Branch is Associate Professor in the School of Engineering at Swinburne University of Technology, specializing in network security, IoT systems, and distributed computing. Research explores anomaly detection in sensor networks, LoRa-based communication systems, blockchain applications for IoT, and rapidly deployable emergency infrastructure. His work combines theoretical networking concepts with practical implementations for industrial and environmental monitoring. Achievements include multiple best paper awards and research excellence recognition. Current projects investigate satellite-IoT integration for disaster response and blockchain scalability in resource-constrained environments. Honors: ICOIN39 Best Paper (2025) Good Design Award Gold Winner (2021) Vice Chancellor's Research Excellence Award (2023)

• Formal Verification
• Model Checking
• Sensor Systems
• +۳ مورد دیگر

Ivaylo Valkov is a Lecturer in the School of Computing Science at the University of Glasgow, having joined the academic staff in June 2024. He completed his PhD in Computing Science at the University of Glasgow in 2024 under Prof. Alice Miller, focusing on formal analysis of wireless sensor systems. Prior to this, he earned a Master's degree in Computing Science and Mathematics from the same university in 2018. His research emphasizes rigorous mathematical analysis of software and hardware systems, particularly through model checking techniques. Key areas include system verification, sensor networks, combinatorial problems, and probabilistic model checking. Valkov has contributed to advancements in overtaking planning algorithms, symmetry reduction methods, and optimization of scheduling problems like the social golfer problem. His publications (6 items) span peer-reviewed journals like Science of Computer Programming and Symmetry , as well as conferences such as SPIN 2024 and FMAS 2021. While no specific awards are listed, his work reflects sustained engagement with formal methods and their applications in real-world systems. Valkov teaches Algorithms and Data Structures at the Master's level and co-teaches Software Engineering and Research Methods courses. His teaching aligns with his research focus on logical problem-solving and systematic analysis.