Find Academic Supervisors

Jaco van de PolView profile

Professor

• Model Checking
• Quantum Computing
• Symbolic Computation
• +5 more

Jaco van de Pol is a Professor at the Department of Computer Science, Aarhus University. His research focuses on formal methods, quantum computing, and symbolic computation. He specializes in model checking, timed automata, decision diagram algorithms, and quantum circuit synthesis. Education background includes expertise in computer science with a strong foundation in theoretical computer science and formal verification techniques. Key research interests include: Development of scalable symbolic algorithms for large systems Quantum circuit optimization using SAT-based approaches External memory implementations of decision diagrams Formal verification of real-time and parametric systems Recent work emphasizes quantum computing applications, such as layout-aware CNOT circuit synthesis for NISQ processors, and novel algorithms for parametric timed games. His contributions include the Adiar framework for external memory BDD manipulation and the Sylvan decision diagram library. No academic awards or grants are explicitly mentioned in the provided materials. He has advised multiple collaborations but no specific student names are listed. His research group focuses on advancing formal methods through practical tools and theoretical advancements.

• Linguistics
• Digital Communication
• Historical Linguistics
• +3 more

Francesca Chiusaroli is a Full Professor of Linguistics at the University of Macerata, specializing in Glottology (GLOT-01/A). She holds a PhD in Linguistics from the University of Pisa and has held academic positions at institutions like the University of Udine and Roma Tor Vergata. Her research focuses on historical linguistics, digital communication, and emoji semiotics, particularly exploring shorthand systems, medieval language evolution, and modern digital writing practices. Education: Laurea (BA) and PhD in Linguistics from University of Macerata and Pisa Post-doctoral fellowship at University of Naples 'L'Orientale' Research Interests: Orality and literacy processes in Old English Short writings and digital communication (emojis, hashtags) Historical shorthand systems and their linguistic analysis Social media's impact on language use Recent Work Trends: Her articles analyze emoji usage, AI-driven language translation, and pandemic-era communication patterns. Collaborations include projects on Emojitaliano and sentiment analysis of student writing during the pandemic. Teaching: She teaches courses like 'Linguistics of Media' and 'History of Translation', emphasizing digital tools and historical language studies.

• Programming Languages
• Type Systems
• Formal Semantics
• +3 more

Dr. Filip Sieczkowski is an Assistant Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in the Department of Computer Science. His research focuses on foundational aspects of programming languages, including type systems, formal semantics, algebraic effects, and concurrency. He holds a PhD in Computer Science and has contributed to advancing theoretical frameworks for effect handlers, reduction theories, and parallel computation models. His work explores topics such as generalized algebraic data types, operational semantics, and the integration of effect systems with concurrent programming. Recent publications highlight contributions to reduction theory for effect handlers and formal methods for parallel scheduling. Dr. Sieczkowski’s research has been published in leading venues such as ACM SIGPLAN conferences and journals. His work emphasizes bridging theoretical insights with practical programming language design, particularly in functional and concurrent contexts. No awards or grants were explicitly mentioned in the provided text.

• Distributed Computing
• Multiprocessor Programming
• Concurrency Control
• +3 more

Maurice Herlihy is the An Wang Professor of Computer Science at Brown University's School of Engineering, Department of Computer Science. He holds a Ph.D. in Computer Science from MIT and an A.B. in Mathematics from Harvard University. His career includes roles at Carnegie Mellon University and the DEC Cambridge Research Lab. Herlihy is renowned for contributions to distributed computing, concurrency control, and blockchain technologies. He has authored influential books like The Art of Multiprocessor Programming and Distributed Computing Through Combinatorial Topology . His research focuses on consensus algorithms, transactional memory, and distributed systems design. Herlihy has received prestigious awards, including multiple Dijkstra Prizes, the Gödel Prize, and the Wallace McDowell award. He is an ACM Fellow and holds fellowships from the National Academy of Engineering and other institutions. His recent work explores blockchain concurrency, sharded ledgers, and fault-tolerant consensus protocols. He has delivered keynotes on blockchains and distributed computing and teaches courses on multiprocessor synchronization and combinatorial topology in computing. His contributions bridge theoretical foundations and practical implementations, emphasizing scalability, security, and concurrency in distributed systems.

• Computer Architecture
• Reliable Computer Design
• Fault Detection and Recovery
• +3 more

Gülay YALÇIN is an Assistant Professor at Abdullah Gul University since 2016. She holds a Ph.D. in Computer Architecture from Universitat Politècnica de Catalunya (2014), an MS in Computer Engineering from TOBB University (2007), and a BS in Computer Engineering from Hacettepe University (2003). Her research focuses on reliable computer design, fault detection, parallel architectures, and low-power systems. She has led projects like ParaDIME (2012-2015) and Velox (2008-2011), advancing energy-efficient computing and transactional memory. Education: Ph.D., Universitat Politècnica de Catalunya, Department of Computer Architecture (2008-2014) M.S., TOBB University of Economics and Technology, Computer Engineering (2007) B.S., Hacettepe University, Computer Engineering (2003) Research Interests: Her work spans fault-tolerant computing, energy-efficient designs, hardware transactional memory, and parallel architectures. She has contributed to error detection techniques leveraging comparators, voltage scaling for reliability, and novel cache designs like Flexicache. Key Projects: ParaDIME (2012-2015): Energy minimization in data centers. Shortlisted for the 2016 Innovation Radar Prize. Velox (2008-2011): Transactional memory for multi-core systems. Reliable Embedded Processors (2007-2008): Fault mitigation in embedded systems. Teaching: She teaches undergraduate courses on 'Exploring Profession' and graduate courses on 'Computer Architecture.' Advising: Currently advising M.S. student Albert Njoroge Kahira on reliable microarchitecture design. Labs/Teams: Active in the Barcelona Supercomputing Center (BSC) during her postdoc (2014-2015) and as a graduate researcher (2009-2014).

• Databases
• Database Theory
• Complexity Theory
• +2 more

Christoph Koch is an Associate Professor at Technische Universität Wien specializing in databases and artificial intelligence. His research spans database theory, complexity theory, and logic in computer science, with a focus on XML processing, query optimization, and parallel data science techniques. Lead projects: KnowledgeGraph (2020–2028), HINT (2012–2017), Weblearn (2005–2008) Developed the Lixto visual extraction system and contributed to DLV knowledge representation framework Supervised T. Lukasser's diploma thesis on XPath query processing

Yasser RezaeiyanView profile

Researcher

• Neuromorphic Computing
• Spintronics
• Biomedical Circuits
• +3 more

Yasser Rezaeiyan is a Senior Researcher at the Department of Electrical and Computer Engineering (Electronics and Photonics group) at Aarhus University. His research focuses on neuromorphic computing, spintronics-based systems, and biomedical circuit design. He specializes in developing energy-efficient and high-performance analog/mixed-signal integrated circuits for applications in healthcare, environmental monitoring, and smart infrastructure. Key technical contributions include neuromorphic hardware leveraging spintronics and vortex oscillators, low-power sensor systems for leakage detection in district heating networks, and ultrasonically powered biomedical implants. His work bridges device physics, circuit design, and system-level integration to address challenges in next-generation computing and IoT. Publications highlight interdisciplinary innovations such as reservoir computing for seizure detection, STT-RAM-based in-memory computing architectures, and high-bandwidth operational amplifiers. His research has been published in top-tier journals like IEEE Transactions on Magnetics and IEEE Transactions on Biomedical Circuits and Systems. Rezaeiyan holds a strong record in analog circuit design, with expertise in chopper stabilizers, bio-impedance measurement systems, and energy harvesting solutions. His lab focuses on translating fundamental physics into practical systems with real-world impact.

• Project and Construction Management
• Construction Contracts Management
• FIDIC Contracts
• +3 more

Assoc. Prof. Deniz Artan holds a PhD in Building Sciences from Istanbul Technical University and serves in the Civil Engineering Department. Their research focuses on Project and Construction Management, Construction Contracts Management, and FIDIC Contracts. They have advised numerous graduate theses on topics like digital contract systems, risk assessment in PPP projects, and blockchain applications in construction. Education: PhD in Building Sciences, Istanbul Technical University (2006-2010) MA in Informatics in Construction Management (2000-2002) Bachelor's in Architecture (1997-2001) Research interests include construction dispute resolution mechanisms, BIM implementation challenges, and sustainable construction practices. They received the 2016 Emerald Publishing Outstanding Paper Award for work on construction mediation practices. Recent articles analyze smart contract impacts on claim management, digital twin adoption, and pandemic effects on construction sites. Their work bridges legal frameworks, technological innovation, and occupational safety in complex projects. Prof. Artan has no registered patents but actively contributes to editorial roles, including Court Connected Construction Mediation Practice . Their advising portfolio spans 24+ theses since 2014, emphasizing real-world industry challenges.

Mingzhong WuView profile

Professor

• Topological Quantum Materials
• Magnetic Thin Films
• Spin Transport
• +7 more

Mingzhong Wu is a Professor of Electrical and Computer Engineering and Physics at Northeastern University, with a joint appointment in the College of Engineering. He is also a member of the Cross-College Magnetics Center and the director of the Northeastern Advanced Magnetics & Electronics (NAME) Laboratory. Wu earned his PhD in Solid State Electronics from Huazhong University of Science & Technology in 1999. He holds prestigious fellowships from the American Physical Society and the Institute of Electrical and Electronics Engineers, and was named Professor Laureate at CNS, Colorado State University (2019-2021). His research focuses on topological quantum materials, magnetic thin films, spin transport, spin torque, spin waves, and ferromagnetic resonance. The NAME Lab explores spintronics, magnonics, and topological materials, aiming to advance next-generation microelectronics and computing through discoveries in magnetic phenomena and high-frequency electronics. Recent work emphasizes spin wave dynamics in magnonic crystals, topological insulator interfaces, and low-damping magnetic nanostructures. Over 150 peer-reviewed publications highlight his contributions to spin Hall effects, magneto-electric coupling, and spin wave bullet propagation. Current projects include developing spin-wave-based computing architectures and exploring quantum sensing in magnetic systems. Key Achievements : First demonstration of magnetization switching via topological Dirac semimetals Pioneering studies on magnon-mediated spin transport in insulating heterostructures Development of ultra-low-damping yttrium iron garnet films His research bridges fundamental physics and applied engineering, with applications in high-density data storage, low-power computing, and quantum technologies. The NAME Lab collaborates extensively with industry and academia on projects funded by the NSF, DOE, and DARPA.

Pierre McKenzieView profile

Associate Professor

• Finite Automata
• Boolean Circuit
• Formal Language
• +3 more

Pierre McKenzie is an Associate Professor in the Department of Computer Science and Operations Research at the University of Montreal, part of the Faculty of Arts and Sciences. He is a member of the LITQ (Laboratoire d'informatique théorique et quantique). His research focuses on computational complexity theory, finite automata, Boolean circuits, formal languages, and logic. He has advised numerous graduate and master's students, including Hugo Côté, Nathan Grosshans, and Michael Blondin. His work has been supported by grants from the Natural Sciences and Engineering Research Council of Canada (CRSNG), particularly in projects like 'Lower bounds and derandomizations for branching programs' (2018–2026). Research Interests: Computational complexity hierarchy separations Branching programs and circuit lower bounds Automata theory and its connections to circuit complexity Algorithmic and complexity aspects of counter systems Key Projects: Lower bounds and derandomizations for branching programs (Lead researcher, 2018–2026) THE COMPUTATIONAL COMPLEXITY OF POLYNOMIAL TIME PROBLEMS (Lead researcher, 2012–2019) Labs/Teams: Active member of LITQ, contributing to theoretical computer science research.

Douglas P. HolmesView profile

Professor

• Mechanics
• Elasticity
• Structural Stability
• +3 more

Douglas P. Holmes is a Professor of Materials Science & Engineering and Mechanical Engineering at Boston University. He leads the Mechanics of Slender Structures (MOSS) Lab and is affiliated with the Materials by Design initiative. His research focuses on understanding and controlling the mechanics, geometry, and physics of slender structures like rods, plates, and shells, with applications in microfluidics, soft robotics, and biomimetic systems. Holmes has pioneered studies on elastic instabilities, wrinkling, and bistable systems, leveraging these phenomena for advanced functionalities. Education: PhD in Polymer Science and Engineering from the University of Massachusetts-Amherst (2015). He holds an NSF CAREER Award and has contributed to over 100 publications. His work bridges fundamental mechanics with practical engineering solutions, emphasizing the interplay between material properties and structural design. Additional affiliations include the Division of Materials Science & Engineering at BU. Research Interests: Elasticity, structural stability, geometric nonlinearities, and the mechanics of thin materials. Key areas include elastogranular metamaterials, kirigami-based actuators, and energy-harvesting systems through controlled instabilities. Notable Achievements: NSF CAREER Award (2015) for work on mechanics of materials, highlighted in media for innovations like 'rocks and rope strengthened by seeds' (2024). His lab develops novel methods to manipulate fluid flow via elastic deformations and designs bioinspired actuators. Labs/Teams: Mechanics of Slender Structures (MOSS) Lab, Materials by Design (Primary & Affiliated Faculty).

• Safe AI
• Formal Methods
• Reinforcement Learning
• +5 more

Francesco Belardinelli is a Senior Lecturer in the Department of Computing at Imperial College London, part of the Faculty of Engineering. He co-directs the UKRI Centre for Doctoral Training (CDT) in Safe and Trusted AI and leads the EPSRC-funded project 'An Abstraction-based Technique for Safe Reinforcement Learning'. His research focuses on Safe AI, formal methods, and strategic reasoning in multi-agent systems under imperfect information. He holds a PhD and undergraduate degrees from Scuola Normale Superiore, Italy. Belardinelli's work bridges formal verification techniques with AI systems, particularly in ensuring safety in reinforcement learning and multi-agent dynamics. He has secured grants including EPSRC NIA, ANR projects (e.g., AGAPE, SVeDaS), and Marie Curie Fellowships. He supervises multiple PhD and postdoctoral researchers in areas like safe RL, formal methods, and multi-agent systems. His educational contributions include courses on logical aspects of AI and scientific research methodologies. He organizes events like the FMAI Seminar series and chairs international conferences (e.g., AAMAS 2021 workshop). His outreach activities include invited talks on topics like safety-aware RL and epistemic logic.

Faquir JainView profile

Professor

• Microelectronics
• Optoelectronics
• Quantum Dots
• +6 more

Faquir Jain is a Professor in the Department of Electrical and Computer Engineering at the University of Connecticut, affiliated with the School of Engineering. His research focuses on microelectronics, optoelectronics, quantum structures, and nanotechnology. He holds a Ph.D. from the University of Connecticut and has authored numerous technical publications. He actively participates in NSF review panels and serves on editorial/advisory boards for IEEE conferences and the Connecticut Microelectronics and Optoelectronics Consortium (CMOC). His research projects include micro-fuel cells, DNA-assisted photonic crystal fabrication, and implantable biosensors. Education: B.S. Physics (Agra University, 1962), M.S. Physics (Agra University, 1963), B.S.E.E. (Roorkee University, 1965), M.S.E.E. (Indian Institute of Technology, 1968), Ph.D. (University of Connecticut, 1973). Research Interests: Quantum dot-based devices, optoelectronic modulators, nanochannel FETs, and bio-integrated sensors. He has led projects funded by the U.S. Army, Air Force, and Office of Naval Research. Recent work includes quantum dot gate transistors, multi-state SRAMs, and low-power CMOS ASIC chips for biomedical applications. Professional Activities: Coordinator of CT Microelectronics & Optoelectronics Consortium, member of IEEE Nanotechnology Advisory Board, and presenter at DARPA-MTO and Naval Underwater Warfare Center events. Lab/Team: Active in CMOC and collaborates with institutions like Taif University on nanoelectronics and biosensors.

Mehdi AnwarView profile

Professor

• Semiconductor Physics
• Nanotechnology
• Terahertz Technology
• +7 more

Dr. Mehdi Anwar is a Full Professor in the Department of Electrical and Computer Engineering at the University of Connecticut, specializing in semiconductor physics , terahertz technology , and quantum devices . His research spans ZnO nanowire UV detection , III-Nitride quantum cascade lasers , and memristor-based security systems . He has pioneered low-noise antimony-based HEMTs with exceptional performance metrics. Academic Affiliation: University of Connecticut, College of Engineering Editorial Roles: IEEE Journal on Electron Devices, IEEE Transactions on Electron Devices Professional Activities: Conference Chair for SPIE Defense, Security and Sensing Terahertz Physics meetings His team has published over 240 archival works and developed THz spectroscopy techniques for counterfeit electronics detection . These methods utilize back-referenced refractive index analysis (∆n) to authenticate packaged ICs without requiring a 'golden IC' or powered-up components. A handheld THz source for rapid ∆n measurement is under development. Research highlights include: Design of III-Nitride HFETs for RF applications Quantum Mechanical Wave Impedance modeling for resonant tunneling devices Piezoelectric energy harvesting using ZnO nanorods on flexible substrates Coaxial ZnMgO/ZnO core-shell nanowires for enhanced gas sensing Scientific Awards: SPIE Fellow Jefferson Science Fellow (U.S. Department of State) Dr. Anwar's advising includes mentoring researchers like Kiarash Ahi , Anas Mazady , and Abdiel Rivera . His work has been funded through U.S. Department of State collaborations and United Nations technology transfer initiatives, including the establishment of the United Nations Technology Bank for Least Developed Countries .

Behrooz ParhamiView profile

Professor

• Computer Arithmetic
• Parallel Processing
• Fault Tolerance
• +4 more

Behrooz Parhami is a Distinguished Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara, where he has been a faculty member since 1988. He previously served as Associate Dean for Academic Personnel in the College of Engineering from 2009-2012 and as Vice Chairman of the ECE Department from 1990-1992. Before joining UCSB, he was a professor at Sharif University of Technology in Tehran, Iran from 1974-1988. He received his PhD in Computer Science from UCLA in 1973. Professor Parhami's research focuses on computer arithmetic, parallel processing, and fault-tolerant computing. In computer arithmetic, he pioneered generalized signed-digit number systems as a unified framework for redundant representations. His work in parallel processing includes contributions to database processors, interconnection networks, and scalable architectures. In fault tolerance, he developed systematic data-driven methodologies for reliable hardware and software systems. He has also made significant contributions to adapting computer technology for Persian language computing. His scholarly output demonstrates consistent focus on fundamental computing principles. Recent publications show continued exploration of unconventional number systems, reliability analysis, and specialized computing architectures. His work bridges traditional computer architecture with emerging technologies including atomic-scale computing, neuromorphic systems, and novel memory technologies. His research maintains relevance through connections to both theoretical foundations and practical implementations. IEEE Life Fellow Fellow of Institution of Engineering and Technology Chartered Fellow of British Computer Society IEEE Centennial Medal (1984) Top-cited article award from Journal of Parallel and Distributed Computing (2010) IET Circuits, Devices & Systems Premium Achievement Award (2009) Sharif University Technology Association's Dr. Amin Lifetime Achievement Award (2024) Professor Parhami has graduated four PhD and numerous MS students. His teaching spans both undergraduate and graduate levels, with recent courses including ECE 1B (Puzzling Problems in Computer Engineering), ECE 252B (Computer Arithmetic), ECE 254B (Parallel Processing), and ECE 257A (Fault Tolerant Computing). He has authored six textbooks that have been widely adopted internationally, including works on parallel processing, computer arithmetic, and computer architecture. His consulting activities focus on high-performance digital system design and intellectual property issues. He is actively involved in promoting gender equity through UCSB's Men Advocating for Gender Equity (MAGE) group, which he currently chairs.